<html>
<head><meta charset="utf-8"><title>Stop promoting union field accesses · t-compiler/const-eval · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/index.html">t-compiler/const-eval</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Stop.20promoting.20union.20field.20accesses.html">Stop promoting union field accesses</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="212225854"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Stop%20promoting%20union%20field%20accesses/near/212225854" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> RalfJ <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Stop.20promoting.20union.20field.20accesses.html#212225854">(Oct 04 2020 at 14:36)</a>:</h4>
<p>I'd like to stop promoting union field accesses, as that would align "promotion inside const/static items" with explicit promotion, which is a nice conceptual simplification (in fact it's how I used to think things work): <a href="https://github.com/rust-lang/rust/pull/77526">https://github.com/rust-lang/rust/pull/77526</a>. <span class="user-group-mention" data-user-group-id="1916">@WG-const-eval</span> if the others agree, I'll start a crater run.</p>



<a name="212226437"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Stop%20promoting%20union%20field%20accesses/near/212226437" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lcnr <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Stop.20promoting.20union.20field.20accesses.html#212226437">(Oct 04 2020 at 14:54)</a>:</h4>
<p>not officially part of <span class="user-group-mention" data-user-group-id="1916">@WG-const-eval</span> but <span aria-label="thumbs up" class="emoji emoji-1f44d" role="img" title="thumbs up">:thumbs_up:</span> esp considering that we will get inline consts soon(ish)</p>



<a name="212226493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/146212-t-compiler/const-eval/topic/Stop%20promoting%20union%20field%20accesses/near/212226493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> oli <a href="https://rust-lang.github.io/zulip_archive/stream/146212-t-compiler/const-eval/topic/Stop.20promoting.20union.20field.20accesses.html#212226493">(Oct 04 2020 at 14:55)</a>:</h4>
<p>Yea, let's try this with crater. People can always fall back to explicit constant items</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>